module lib(in1, in2, out);
  input  [11:0] in1;
  input  [11:0] in2;
  output [12:0] out;
  assign out = in1 + in2;
endmodule
